Splitting Fields of Characteristic Polynomials in Algebraic Groups
نویسنده
چکیده
In [K1] and earlier in [K2], questions of the following type are considered: suppose a family (gi)i of matrices in some (algebraic) matrix group are given, with rational coefficients. What is the “typical” Galois group of the splitting field Ki of the characteristic polynomial of gi (defined as the field generated over Q by the roots of the characteristic polynomial)? Is this characteristic polynomial typically irreducible? If the elements gi are in GL(n,Q), or in SL(n,Q), there is an obvious “upper bound”, namely the symmetric group Sn. If the elements gi are in a symplectic group (for an alternating form with rational coefficients), or in the group of symplectic similitude, there is also an easy, if slightly less obvious, upper bound: the characteristic polynomial satisfies some relation such as
منابع مشابه
Splitting Fields of Characteristic Polynomials of Random Elements in Arithmetic Groups
We discuss rather systematically the principle, implicit in earlier works, that for a “random” element in an arithmetic subgroup of a (split, say) reductive algebraic group over a number field, the splitting field of the characteristic polynomial, computed using any faitfhful representation, has Galois group isomorphic to the Weyl group of the underlying algebraic group. Besides tools such as t...
متن کاملComputable fields and the bounded Turing reduction
For a computable field F , the splitting set SF of F is the set of polynomials in F [X] which factor over F , and the root set RF of F is the set of polynomials in F [X] which have a root in F . Results of Fröhlich and Shepherdson in [3] imply that for a computable field F , the splitting set SF and the root set RF are Turing-equivalent. Much more recently, in [5], Miller showed that for algebr...
متن کاملHYPERTRANSCENDENTAL FORMAL POWER SERIES OVER FIELDS OF POSITIVE CHARACTERISTIC
Let $K$ be a field of characteristic$p>0$, $K[[x]]$, the ring of formal power series over $ K$,$K((x))$, the quotient field of $ K[[x]]$, and $ K(x)$ the fieldof rational functions over $K$. We shall give somecharacterizations of an algebraic function $fin K((x))$ over $K$.Let $L$ be a field of characteristic zero. The power series $finL[[x]]$ is called differentially algebraic, if it satisfies...
متن کاملOutline of Galois eory Development
. Existence of Splitting Fields for a polynomial or family of polynomials F ⊂ F[X]. Existence of Algebraic Closure. Characterizations of Algebraic Closure: A field E is algebraically closed if every nonconstant polynomial in E[X] factors as a product of linear polynomials. (Equivalently, every nonconstant polynomial in E[X] has a root in E.) A field E is an algebraic closure of a subfield F if...
متن کاملComputable Fields and Weak Truth-Table Reducibility
For a computable field F , the splitting set SF of F is the set of polynomials with coefficients in F which factor over F , and the root set RF of F is the set of polynomials with coefficients in F which have a root in F . Results of Frohlich and Shepherdson in [3] imply that for a computable field F , the splitting set SF and the root set RF are Turing-equivalent. Much more recently, in [6], M...
متن کامل